MIC: Algebraic Agent Environment
نویسندگان
چکیده
This paper presents the MIC∗ algebraic structure modelling an environment where autonomous, interacting and mobile entities evolve.
منابع مشابه
MIC: An Agent Formal Environment
Ubiquitous systems can be considered as good challenges and case studies for the reliable development of open, cooperative and mobile systems in a globally uncontrolled environment. Furthermore, the complexity of these systems could constitute a real barrier to classical engineering approaches and validate the foundations of agent based computing. In this paper, we have abstracted a composable ...
متن کاملRequirements for Achieving Software Agents Autonomy and Defining their Responsibility
This paper addresses the problem of implementing agent-based software systems with respect to agent framework fundamental concepts such as autonomy and interaction without specifying any particular agent internal architecture. The autonomy and interaction axioms imply that a deployment environment has to be defined in order to achieve interaction among agents. This deployment environment may al...
متن کاملProcess algebraic modeling of authentication protocols for analysis of parallel multi-session executions
Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...
متن کاملOptimal adaptive leader-follower consensus of linear multi-agent systems: Known and unknown dynamics
In this paper, the optimal adaptive leader-follower consensus of linear continuous time multi-agent systems is considered. The error dynamics of each player depends on its neighbors’ information. Detailed analysis of online optimal leader-follower consensus under known and unknown dynamics is presented. The introduced reinforcement learning-based algorithms learn online the approximate solution...
متن کاملMaking Sense of the Sensory Data - Coordinate Systems by Hierarchical Decomposition
Having the right sensory channels is an important ingredient for building an autonomous agent, but we still have the problem of making sense of the sensory data for the agent. This is the basic problem of artificial intelligence. Here we propose an algebraic method for generating abstract coordinate system representations of the environment based on the agent’s actions. These internal represent...
متن کامل